Перевод: с русского на все языки

со всех языков на русский

язык логического программирования

См. также в других словарях:

  • Язык логического программирования — Логическое программирование парадигма программирования, основанная на автоматическом доказательстве теорем, а также раздел дискретной математики, изучающий принципы логического вывода информации на основе заданных фактов и правил вывода.… …   Википедия

  • Язык программирования Пролог — язык логического программирования, программа на котором состоит: из логических утверждений, образующих базу данных; и из правила вывода новых утверждений из известных. По английски: PROLOG language См. также: Декларативные языки программирования… …   Финансовый словарь

  • язык SFC — Язык последовательных функциональных схем. Один из пяти стандартизированных языков программирования ПЛК. [http://kazanets.narod.ru/PLC PART2.htm] Язык последовательных функциональных схем SFC (Sequential Function Chart), использующийся совместно… …   Справочник технического переводчика

  • Пролог (язык программирования) — У этого термина существуют и другие значения, см. Пролог. Пролог Семантика: логическое программирование Появился в: 1972 Автор(ы): Alain Colmerauer Расширение файлов: .pl .pro .P …   Википедия

  • Mercury (язык программирования) — У этого термина существуют и другие значения, см. Mercury. Mercury Класс языка: логический, функциональный Появился в: 1995 Автор(ы) …   Википедия

  • Oz (язык программирования) — Oz Семантика: функциональный, процедурный, декларативный, объектно ориентированный, вычисления с ограничениями, Н модели, параллельные вычисления Тип исполнения: компилируемый Появился в: 1991 Автор(ы): Gert Smolka his students Релиз …   Википедия

  • Сравнение языков программирования — Эту статью следует викифицировать. Пожалуйста, оформите её согласно правилам оформления статей.  Условные обозначения  …   Википедия

  • Логический язык программирования — Логическое программирование парадигма программирования, основанная на автоматическом доказательстве теорем, а также раздел дискретной математики, изучающий принципы логического вывода информации на основе заданных фактов и правил вывода.… …   Википедия

  • Декларативный язык программирования — Эту статью следует викифицировать. Пожалуйста, оформите её согласно правилам оформления статей. Декларативные языки программирования это языки программирования высокого уровня, в которых программистом не зад …   Википедия

  • Icon (язык программирования) — У этого термина существуют и другие значения, см. Icon (значения). Icon Семантика: мультипарадигменный: императивный, логический …   Википедия

  • Go! (язык программирования) — Статью, посвященную языку программирования, созданного компанией Google Inc. см. Go (язык программирования) Go! Класс языка: многопоточный Появился в: 2003 г. Автор(ы): Фрэнсис МакКейб, Кейт Кларк Лицензия GPLv2 …   Википедия

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»